As the world watches the current crisis in Kosovo unfold through intensive daily media coverage, particularly by major networks in the US and Europe, one can only wonder why the same attention is not given to the crises in Africa. The military intervention by NATO allied forces, including the United States, to avert Milosevic ’ s genocidal campaign towards the Kosovo Albanians, can only be characterized as an exclusive European mission to resolve Europe ’ s problem. This is not, by (...) all means, to subvert or undermine the suffering of ethnic Albanians in Kosovo but to give some perspective as to how the super powers are responding to other similar crises in the world. Today, any crime against humanity, in any part of the world, regardless of this nations political or economic interest, should not be tolerated. Most Americans, perhaps most of the world, do not know about the mass genocide that took place in Rwanda and the civil war in the Southern Sudan that has left more than a million and half people dead. And now we can add to this list, the recent border conflict between Ethiopia and Eritrea that has emerged into a full - scale war. The most recent conflict has already claimed thousands of lives while world superpowers are watching si -. (shrink)

BackgroundThe U.S. Food and Drug Administration traditionally has kept confidential significant amounts of information relevant to the approval or non-approval of specific drugs, devices, and biologics and about the regulatory status of such medical products in FDA’s pipeline.ObjectiveTo develop practical recommendations for FDA to improve its transparency to the public that FDA could implement by rulemaking or other regulatory processes without further congressional authorization. These recommendations would build on the work of FDA’s Transparency Task Force in 2010.MethodsIn 2016-2017, we convened (...) a team of academic faculty from Harvard Medical School, Brigham and Women’s Hospital, Yale Medical School, Yale Law School, and Johns Hopkins Bloomberg School of Public Health to develop recommendations through an iterative process of reviewing FDA’s practices, considering the legal and policy constraints on FDA in expanding transparency, and obtaining insights from independent observers of FDA.ResultsThe team developed 18 specific recommendations for improving FDA’s transparency to the public. FDA could adopt all these recommendations without further congressional action.FundingThe development of the Blueprint for Transparency at the U.S. Food and Drug Administration was funded by the Laura and John Arnold Foundation. (shrink)

The authors consider reflexive games that describe the interaction of subjects making decisions based on an awareness structure, i.e., a hierarchy of beliefs about essential parameters, beliefs about beliefs, and so on. It was shown that the language of graphs of reflexive games represents a convenient uniform description method for reflexion effects in bélles-léttres.

Significant associations have been found between specific human leukocyte antigen (HLA) alleles and organ transplant rejection, autoimmune disease development, and the response to infection. Traditional searches for disease associations have conventionally measured risk associated with the presence of individual HLA alleles. However, given the high level of HLA polymorphism, the pattern of amino acid variability, and the fact that most of the HLA variation occurs at functionally important sites, it may be that a combination of variable amino acid sites shared (...) by several alleles (shared epitopes) are better descriptors of the actual causative genetic variants. Here we describe a novel approach to genetic association analysis in which genes/proteins are broken down into smaller sequence features and then variant types defined for each feature, allowing for independent analysis of disease association with each sequence feature variant type. We have used this approach to analyze a cohort of systemic sclerosis patients and show that a sequence feature composed of specific amino acid residues in peptide binding pockets 4 and 7 of HLA-DRB1 explains much of the molecular determinant of risk for systemic sclerosis. (shrink)

The Mathematical Intelligencer recently published a note by Y. Sergeyev that challenges both mathematics and intelligence. We examine Sergeyev’s claims concerning his purported Infinity computer. We compare his grossone system with the classical Levi-Civita fields and with the hyperreal framework of A. Robinson, and analyze the related algorithmic issues inevitably arising in any genuine computer implementation. We show that Sergeyev’s grossone system is unnecessary and vague, and that whatever consistent subsystem could be salvaged is subsumed entirely within a stronger and (...) clearer system. Lou Kauffman, who published an article on a grossone, places it squarely outside the historical panorama of ideas dealing with infinity and infinitesimals. (shrink)

We investigate what it means for a (Hausdorff, second-countable) topological group to be computable. We compare several potential definitions based on classical notions in the literature. We relate these notions with the well-established definitions of effective presentability for discrete and profinite groups, and compare our results with similar results in computable topology.

Situational strength is considered one of the most important situational forces at work because it can attenuate the personality–performance relationship. Although organizational scholars have studied the consequences of situational strength, they have paid little attention to its antecedents. To address this gap, the current study focused on situational strength cues from different social sources as antecedents of overall situational strength at work. Specifically, we examined how employees combine situational strength cues emanating from three social sources (i.e., coworkers, the immediate supervisor, (...) and top management). Based on field theory, we hypothesized that the effect of situational strength from coworkers and immediate supervisors (i.e., proximal sources of situational strength) on employees’ perceptions of overall situational strength on the job would be greater than the effect of situational strength from the top management (i.e., the distal source of situational strength). We also hypothesized that the effect of situational strength from the distal source would be mediated by the effects of situational strength from the proximal sources. Data from 363 full-time employees were collected at two time points with a cross-lagged panel design. The first hypothesis was supported for one of the two situational strength facets studied. The second hypothesis was fully supported. (shrink)

Throughout the biological and biomedical sciences there is a growing need for, prescriptive ‘minimum information’ (MI) checklists specifying the key information to include when reporting experimental results are beginning to find favor with experimentalists, analysts, publishers and funders alike. Such checklists aim to ensure that methods, data, analyses and results are described to a level sufficient to support the unambiguous interpretation, sophisticated search, reanalysis and experimental corroboration and reuse of data sets, facilitating the extraction of maximum value from data sets (...) them. However, such ‘minimum information’ MI checklists are usually developed independently by groups working within representatives of particular biologically- or technologically-delineated domains. Consequently, an overview of the full range of checklists can be difficult to establish without intensive searching, and even tracking thetheir individual evolution of single checklists may be a non-trivial exercise. Checklists are also inevitably partially redundant when measured one against another, and where they overlap is far from straightforward. Furthermore, conflicts in scope and arbitrary decisions on wording and sub-structuring make integration difficult. This presents inhibit their use in combination. Overall, these issues present significant difficulties for the users of checklists, especially those in areas such as systems biology, who routinely combine information from multiple biological domains and technology platforms. To address all of the above, we present MIBBI (Minimum Information for Biological and Biomedical Investigations); a web-based communal resource for such checklists, designed to act as a ‘one-stop shop’ for those exploring the range of extant checklist projects, and to foster collaborative, integrative development and ultimately promote gradual integration of checklists. (shrink)

The article is devoted to social problems of modern science (as it were interpreted Max Weber) considered in the context of the system-communicative approach by N. Luhmann. In contrast to the modern work of art, the modern science, as M. Weber believes, is associated with the fundamental unattainability of “true being”, and, as a result, with the transitory character of any scientific achievement. The specialty of modern science, as Weber noted, is determinated, on the one hand by its self-understanding, due (...) to the “peculiarity of the current moment”, and, on the other, by its transformation into a kind of blind spot of scientific observation. As a result, Weber formulated the main problem of the meaning of modern science: he wondered why any scientist needs a science under (1) external alienation and (2) inaccessibility of a scientific object? Moreover, the category of truth not just acquires its special value, but also sets a special meaning to the purpose of scientific communication, that becomes an object but not a property of scientific search. The main content of the article is the study of the Weberian concepts of the external (science as a profession) and internal (science as vocation) social factors of modern science as they were interpreted by E. von Kahler, G. Rickert, M. Scheller, K. Loewit. The authors discuss their attempts to modernize the fundamental Weberian distinction of truth/value as a principle of inclusion in the scientific community, that was formulated as a response to the “Weber’s challenge”. The authors argue that von Kahler criticized the Weberian concept for the incompatibility of the spatial and temporal discreteness of science within the “organic understanding” of the unity of the world. At the same time Scheler and Rickert payed special attention to the problem of subject specification of science. K. Levit discussed the possibility of Weber’s substitution of objectivity as a key distinction of modern knowledge with some opposite attribute. In the final part, the authors summarize the inconsistency of predictions about the further internal differentiation of scientific disciplines and the rejection of research motive for “genuine being”. (shrink)

This study investigated the relationship between concussions and medication adherence among 247 adults experiencing homelessness in Oklahoma City, Oklahoma, who were prescribed medication for a psychiatric disorder. Participants were asked whether they had “ever experienced a blow to the head that caused a concussion,” and medication adherence was measured by asking participants whether they had taken their psychiatric medication yesterday. The data were analyzed using univariate and multivariable logistic regressions. Results showed that more than half of the sample had a (...) concussion history, and homeless adults with a concussion history had higher odds of non-adherence to psychiatric medications compared with those who reported no concussion history [OR = 2.13 ]. Findings suggest that medication non-adherence is associated with incurred concussions. Raising awareness among service providers of the relationship between traumatic brain injury and medication adherence may increase efforts to improve adherence in this underserved population. (shrink)

The Cell Ontology (CL) is designed to provide a standardized representation of cell types for data annotation. Currently, the CL employs multiple is_a relations, defining cell types in terms of histological, functional, and lineage properties, and the majority of definitions are written with sufficient generality to hold across multiple species. This approach limits the CL’s utility for cross-species data integration. To address this problem, we developed a method for the ontological representation of cells and applied this method to develop a (...) dendritic cell ontology (DC-CL). DC-CL subtypes are delineated on the basis of surface protein expression, systematically including both species-general and species-specific types and optimizing DC-CL for the analysis of flow cytometry data. This approach brings benefits in the form of increased accuracy, support for reasoning, and interoperability with other ontology resources. 104. Barry Smith, “Toward a Realistic Science of Environments”, Ecological Psychology, 2009, 21 (2), April-June, 121-130. Abstract: The perceptual psychologist J. J. Gibson embraces a radically externalistic view of mind and action. We have, for Gibson, not a Cartesian mind or soul, with its interior theater of contents and the consequent problem of explaining how this mind or soul and its psychological environment can succeed in grasping physical objects external to itself. Rather, we have a perceiving, acting organism, whose perceptions and actions are always already tuned to the parts and moments, the things and surfaces, of its external environment. We describe how on this basis Gibson sought to develop a realist science of environments which will be ‘consistent with physics, mechanics, optics, acoustics, and chemistry’. (shrink)

We report the identification of a recurrent, 520-kb 16p12.1 microdeletion associated with childhood developmental delay. The microdeletion was detected in 20 of 11,873 cases compared with 2 of 8,540 controls and replicated in a second series of 22 of 9,254 cases compared with 6 of 6,299 controls. Most deletions were inherited, with carrier parents likely to manifest neuropsychiatric phenotypes compared to non-carrier parents. Probands were more likely to carry an additional large copy-number variant when compared to matched controls. The clinical (...) features of individuals with two mutations were distinct from and/or more severe than those of individuals carrying only the co-occurring mutation. Our data support a two-hit model in which the 16p12.1 microdeletion both predisposes to neuropsychiatric phenotypes as a single event and exacerbates neurodevelopmental phenotypes in association with other large deletions or duplications. Analysis of other microdeletions with variable expressivity indicates that this two-hit model might be more generally applicable to neuropsychiatric disease. © 2010 Nature America, Inc. All rights reserved. (shrink)

The following statement is a report of the Committee on Philosophy in Education of the American Philosophical Association and was approved by the Association's Board of Officers in September, 1959. The Committee was composed of the following: C. W. Hendel, Chairman, H. G. Alexander, R. M. Chisholm, Max Fisch, Lucius Garvin, Douglas Morgan, A. E. Murphy, Charner Perry, and R. G. Turnbull. Primary responsibility for the preparation of this report belonged to a subcommittee composed of Roderick M. Chisholm, Chairman, (...) H. G. Alexander, Lewis Hahn, Paul C. Hayner, and Charles W. Hendel. (shrink)

In the paper, a detailed analysis of some new logical aspects of Cantor’s diagonal proof of the uncountability of continuum is presented. For the first time, strict formal, axiomatic, and algorithmic definitions of the notions of potential and actual infinities are presented. It is shown that the actualization of infinite sets and sequences used in Cantor’s proof is a necessary, but hidden, condition of the proof. The explication of the necessary condition and its factual usage within the framework of Cantor’s (...) proof makes, Cantor’s proof invalid. It’s shown that traditional Cantor’s proof has a second necessary, but hidden as well, condition which is teleological by its nature, i.e., is not mathematical. The explication of the second necessary condition makes Cantor’s statement on the uncountability of continuum unprovable from the point of view of classical logic.One of the most dramatic facts in history of science is connected just with the notion of actual infinity and consists in the following. On the one hand, Aristotle, Berkeley, Locke, Descartes, Spinoza, Gauss, Kant, Cauchy, Kronecker, Hermite, Poincaré, Bair, Borel, Brouwer, Quine, Wittgenstein, Weyl, Luzin, and a lot of other outstanding creators of classical logic and classical mathematics, during millenniums, stated categorically and insistently warned about that the actual infinity is a self-contradictory notion and its usage in mathematics is inadmissible (e.g., according to Poincare, “There is no actual infinity. - Cantorians forgot that and fell into contradictions. Later generations will regard Mengenlehre (set theory) as a disease from which one has recovered”). On the other hand, a lot of outstanding scientists of the XX c.c., such as Hilbert, Church, Turing, Gödel, etc., and modern axiomatic set theory as a whole ignored this (intuitive though) opinion of genii and accepted Cantor’s “transfinite paradise”, based on the actual infinity. In the paper some logical, philosophical, and psychological aspects of this historical “favorable opposition” are analyzed, and the fact that the scientific intuition of genii has won the historical battle against the mytho-’logic’ of Cantor’s transfinite ‘paradise’ is explained and logically justified. (shrink)

The Alexandrian emphasis on smallness, elegance, and slightness at the expense of grand themes in major poetic genres was not preciosity for its own sake: although the poetry was written by and for scholars, it had much larger sources than the bibliothecal context in which it was composed. Since the time of the classical poets, much had changed. Earlier Greek poetry was an intimate part of the life of the city-state, written for its religious occasions and performed by its citizens. (...) But eh conquests of Alexander had altered the structure and the boundaries of the Greek world to an astonishing degree. Alexandria, the center of the poetic culture of the new age, was a city that had not even existed at the time of Euripides; it was in Egypt, not in Greece, and was a huge, polyglot community. As immigrants immersed in a new, impersonal, and bureaucratic society, the poets not unreasonably sought out what was small, intimate, and personal in their verses. The heroes of early Greek poetry are larger than life; those of Alexandrian poetry are life-size. They are human, like us; they have a childhood and an old age; they are afraid or in love or caught in a rainstorm. It was simply one way of reducing the world to more manageable dimensions. At the same time, the new world of Alexandria needed a new poetry. To continue writing epics about a mythology that seemed very far away was senseless; it was impossible to recapture either the style or the immediacy of Homer, lyric poetry, or Attic tragedy. The scholar-poets of Alexandria admired the literature of classical Greece; for them Homer was incomparable and inimitable, to be studied—but not to be copied. Far better, then, to find a new voice on a more manageable scale: instead of oral epic, erudite epyllion; instead of lyric, epigram; instead of tragedy, mime. The poets of an urban and unheroic world might long for but could never re-create the grandeur of the past. James E. G. Zetzel is associate professor of classics at Princeton University and editor of the Transactions of the American Philological Association. He is the author of Latin Textual Criticism in Antiquity and, with Anthony T. Grafton and Glenn W. Most, has translated Friedrich August Wolf’s Prolegomena ad Homerum. (shrink)

Molla Halil’e göre insanların bu dünyada yaptıkları iyiliklere karşılık Yüce Allah onları ahirette lütfuyla nimetlendirecek ve Cennetine koyacaktır. Bu, Allah’ın insanlara bir va‘didir. Allah va‘dinden asla dönmez. Çünkü Allah’ın va‘dinden dönmesi, O’nun hakkında bir eksiklik sayılır. Ancak bu durum O’nun için vucûbiyet ifade etmez. Vucubiyet kavramı çeşitli anlamlarda kullanıldığı için anlam kargaşasına yol açabilir. Buna sebebiyet vermemek için kelamda özellikle de bu makalede “zorunluluk” anlamına kullanılacak olup bazen gereklilik anlamı da ihtiva edebilir. Allah, kötülük yapanları ise adaletiyle cezalandıracaktır. Bu da (...) Allah’ın va‘îdi olup, va‘îdi’nden dönebilir. Bu, O’nun hakkında bir noksanlığa sebebiyet vermez. Çünkü cezalandırmaktan vazgeçmesi Allah’ın merhametinin ve lütfunun bir sonucudur. Bununla birlikte ne va‘d ve ne de va‘îd Allah’a vacip değildir. Molla Halil’e göre, büyük günah insanı imandan çıkarmaz. Mu‘tezile’ye göre büyük günah işleyen kimse dünyada ne mümin olur ne de kâfir ikisinin arasında bir yerde durur. Buna da fasıklık denir. Haricîlere göre ise, ister büyük, isterse küçük olsun, her türlü günah sahibini iman dairesinden çıkarır ve küfür dairesine dahil eder. Molla Halil’e göre, ahiret hayatı ruh ve cesetle birlikte olacaktır. Bu üm-metin günahkârlarına peygamberler, şehitler ve salih kimseler şefaat edecek-tir. Mu‘tezile‘ye göre şefaat sadece iyilerin derecesinin yükselmesi içindir. Günahkârlar için şefaat olmayacaktır. Günahkâr müminler Cehenneme girseler de ebedi kalmayacaklar. Kâfirlerin azapları ise devamlı olacak ve bunlar ebedi olarak Cehennemde kalacaklardır. Biz bu makalede önce sevap ve İkâb kelimelerinin lügat ve ıstılah anlamları üzerinde duracak, sonra bu bağlamda ayet ve hadislerde verilen bilgileri ve bunların açıklamalarını ele alacağız. Daha sonra Molla Halil’in bu konulara dair görüşlerini sunmaya çalışacağız. Onun sevap ve İkâb ile ilgili tanımlarını, bunların sonuçlarına dair yaşanacakları ve varılacak yerleri ele alan yaklaşımlarını sunmaya çalışacağız. Burada farklı görüşlere sahip olmaları nedeniyle çoğunlukla Mu‘tezile’nin ve az da olsa Haricilerin görüşlerine de mukayese oluşturması için değineceğiz. Burada sadece Molla Halil’in görüşlerini değil, onun içinden geldiği Ehli Sünnetin görüşlerini, sünni kaynakları temel alarak aktarmaya çalışacağız. (shrink)

In this paper we study generic complexity of undecidable problems. It turns out that some classical undecidable problems are, in fact, strongly undecidable, i.e., they are undecidable on every strongly generic subset of inputs. For instance, the classical Halting Problem is strongly undecidable. Moreover, we prove and analog of the Rice theorem for strongly undecidable problems, which provides plenty of examples of strongly undecidable problems. Then we show that there are natural super-undecidable problems. i.e., problem which are undecidable on every (...) generic (not only strongly generic) subset of inputs. In particular, there are finitely presented semigroups with super-undecidable word problem. To construct strongly- and super-undecidable problems we introducea method of generic amplification (an analog of the amplification in complexity theory). Finally, we construct absolutely undecidable problems, which stay undecidable on every non-negligible set of inputs. Their construction rests on generic immune sets. (shrink)

Continued confinement of those most vulnerable to COVID-19—e.g., the elderly, those with chronic diseases and other risk factors—is presented as an uncontroversial measure when planning exit strategies from lockdown measures. Policies for deconfinement assume that these persons will remain confined even when others will not. This, however, could last quite a long time, and for some this could mean that they will remain in confinement for the rest of their lives.In a policy brief on ethical, legal, and social issues of (...) transition strategies, the Swiss national COVID-19 science task force stated that:Specific interventions should target the risks associated with isolation... (shrink)

This introduction provides a highly readable critical overview of the main arguments and themes in twentieth-century and contemporary metaethics. It traces the development of contemporary debates in metaethics from their beginnings in the work of G. E. Moore up to the most recent arguments between naturalism and non-naturalism, cognitivism and non-cognitivism. A highly readable critical overview of the main arguments and themes in twentieth century and contemporary metaethics. Asks: Are there moral facts? Is there such a thing as moral truth? (...) Is moral knowledge possible? Traces the development of contemporary debates in metaethics from their beginnings in the work of G. E. Moore up to the most recent debates between naturalism and non-naturalism, cognitivism and noncognitivism. Provides for the first time a critical survey of famous figures in twentieth century metaethics such as Moore, Ayer and Mackie together with in-depth discussions of contemporary philosophers such as Blackburn, Gibbard, Wright, Harman, Railton, Sturgeon, McDowell and Wiggins. (shrink)

This new edition of Alexander Miller’s highly readable introduction to contemporary metaethics provides a critical overview of the main arguments and themes in twentieth- and twenty-first-century contemporary metaethics. Miller traces the development of contemporary debates in metaethics from their beginnings in the work of G. E. Moore up to the most recent arguments between naturalism and non-naturalism, cognitivism and non-cognitivism. From Moore’s attack on ethical naturalism, A. J. Ayer’s emotivism and Simon Blackburn’s quasi-realism to anti-realist and best opinion accounts (...) of moral truth and the non-reductionist naturalism of the ‘Cornell realists’, this book addresses all the key theories and ideas in this field. As well as revisiting the whole terrain with revised and updated guides to further reading, Miller also introduces major new sections on the revolutionary fictionalism of Richard Joyce and the hermeneutic fictionalism of Mark Kalderon. The new edition will continue to be essential reading for students, teachers and professional philosophers with an interest in contemporary metaethics. (shrink)

The familiar Vendler-Kenny scheme of verb-types, viz., performances (further differentiated by Vedler into accomplishments and achievements), activities, and states, is too narrow in two important respects. First, it is narrow linguistically. It fails to take into account the phenomenon of verb aspect. The trichotomy is not one of verbs as lexical types but of predications. Second, the trichotomy is narrow ontologically. It is a specification in the context of human agency of the more fundamental, topic-neutral trichotomy, event-process-state.The central component in (...) this ontological trichotomy, event, can be sharply differentiated from its two flanking components by adapting a suggestion by Geoffrey N. Leech and others that the contrast between perfective and imperfective aspect in verbs corresponds to the count/mass distinction in the domain of nouns. With the help of two distinctions, of cardinal count adverbials versus frequency adverbials, and of occurrence versus associated occasion, two interrelated criteria for event predication are developed. Accordingly, Mary capsized the boat is an event predication because (a) it is equivalent to There was at least one capsizing of the boat by Mary, or (b) because it admits cardinal count adverbials, e.g., at least once, twice, three times. Ontologically speaking, events are defined as those occurrences that are inherently countable. (shrink)

I offer examples showing that, pace G. E. Moore, it is possible to assert ?Q and I don't believe that Q? sincerely, truly, and without any absurdity. The examples also refute the following principles: (a) justification to assert p entails justification to assert that one believes p (Gareth Evans); (b) the sincerity condition on assertion is that one believes what one says (John Searle); and (c) to assert (to someone) something that one believes to be false is to lie (Don (...) Fallis). (shrink)

Many experiential properties are naturally understood as dispositions such that e.g. a cake tastes good to you iff you are disposed to get gustatory pleasure when you eat it. Such dispositional analyses, however, face a challenge. It has been widely observed that one cannot properly assert “The cake tastes good to me” unless one has tried it. This acquaintance requirement is puzzling on the dispositional account because it should be possible to be disposed to like the cake even if this (...) disposition has never been manifested. We argue that familiar response strategies on behalf of the dispositionalist fail. These include appeals to conversational implicatures, expressivism, semantic presuppositions and norms of assertion. Against this background, we propose a new analysis in terms of what we call tendencies, where a tendency is a disposition that has been manifested. The acquaintance requirement comes out as an entailment. We point out a hitherto unnoticed parallel to sentences ascribing character traits such as “Hannah is brave,” and extend our tendency-based analysis to this domain. (shrink)

I owe you a dinner invitation, you owe ten years on your mortgage, and the government owes billions. We speak confidently about these cases of debt, but is that concept clear in its meaning? This book aims to clarify the concept of debt so we can find better answers to important moral and political questions. This book seeks to accomplish two things. The first is to clarify the concept of debt by examining how the word is used in language. The (...) second is to develop a general, principled account of how debts generate genuine obligations. This allows us to avoid settling each case by a bare appeal to moral intuitions, which is what we seem to currently do. It requires a close examination of many institutions, e.g. money, contract law, profit-driven finance, government fiscal operations, and central banking. To properly understand the moral and political nature of debt, we must understand how these institutions have worked, how they do work, and how they might be made to work. There have been many excellent anthropological and sociological studies of debt and its related institutions. Philosophy can contribute to the emerging discussion and help us to keep our language precise and to identify the implicit principles contained in our intuitions. (shrink)

Mark Jago has presented a dilemma for truthmaker non-maximalism—the thesis that some but not all truths require truthmakers. The dilemma arises because some truths that do not require truthmakers by the non-maximalist’s lights (e.g., that Santa Claus does not exist) are necessitated by truths that do (e.g., that Barack Obama knows that Santa Claus does not exist). According to Jago, the non-maximalist can supply a truthmaker for such a truth only by conceding the primary motivation for the view: that it (...) allows one to avoid positing strange ‘negative’ entities without adopting a non-standard account of the necessary features of ordinary things. In this paper, I sketch out and defend two plausible non-maximalist proposals that evade Jago’s dilemma. (shrink)

In the paper, a detailed analysis of some new logical aspects of Cantor’s diagonal proof of the uncountability of continuum is presented. For the first time, strict formal, axiomatic, and algorithmic definitions of the notions of potential and actual infinities are presented. It is shown that the actualization of infinite sets and sequences used in Cantor’s proof is a necessary, but hidden, condition of the proof. The explication of the necessary condition and its factual usage within the framework of Cantor’s (...) proof makes, Cantor’s proof invalid. It’s shown that traditional Cantor’s proof has a second necessary, but hidden as well, condition which is teleological by its nature, i.e., is not mathematical. The explication of the second necessary condition makes Cantor’s statement on the uncountability of continuum unprovable from the point of view of classical logic.One of the most dramatic facts in history of science is connected just with the notion of actual infinity and consists in the following. On the one hand, Aristotle, Berkeley, Locke, Descartes, Spinoza, Gauss, Kant, Cauchy, Kronecker, Hermite, Poincaré, Bair, Borel, Brouwer, Quine, Wittgenstein, Weyl, Luzin, and a lot of other outstanding creators of classical logic and classical mathematics, during millenniums, stated categorically and insistently warned about that the actual infinity is a self-contradictory notion and its usage in mathematics is inadmissible (e.g., according to Poincare, “There is no actual infinity. - Cantorians forgot that and fell into contradictions. Later generations will regard Mengenlehre (set theory) as a disease from which one has recovered”). On the other hand, a lot of outstanding scientists of the XX c.c., such as Hilbert, Church, Turing, Gödel, etc., and modern axiomatic set theory as a whole ignored this (intuitive though) opinion of genii and accepted Cantor’s “transfinite paradise”, based on the actual infinity. In the paper some logical, philosophical, and psychological aspects of this historical “favorable opposition” are analyzed, and the fact that the scientific intuition of genii has won the historical battle against the mytho-’logic’ of Cantor’s transfinite ‘paradise’ is explained and logically justified. (shrink)

This paper examines the existence of strategic solutions to finite normal form games under the assumption that strategy choices can be described as choices among lotteries where players have security- and potential level preferences over lotteries (e.g., Cohen, Theory and Decision, 33, 101–104, 1992, Gilboa, Journal of Mathematical Psychology, 32, 405–420, 1988, Jaffray, Theory and Decision, 24, 169–200, 1988). Since security- and potential level preferences require discontinuous utility representations, standard existence results for Nash equilibria in mixed strategies (Nash, Proceedings of (...) the National Academy of Sciences, 36, 48–49, 1950a, Non-Cooperative Games, Ph.D. Dissertation, Princeton University Press, 1950b) or for equilibria in beliefs (Crawford, Journal of Economic Theory, 50, 127–154, 1990) do not apply. As a key insight this paper proves that non-existence of equilibria in beliefs, and therefore non-existence of Nash equilibria in mixed strategies, is possible in finite games with security- and potential level players. But, as this paper also shows, rationalizable strategies (Bernheim, Econometrica, 52, 1007–1028, 1984, Moulin, Mathematical Social Sciences, 7, 83–102, 1984, Pearce, Econometrica, 52, 1029–1050, 1984) exist for such games. Rationalizability rather than equilibrium in beliefs therefore appears to be a more favorable solution concept for games with security- and potential level players. (shrink)

Those who hold that all fundamental sparse properties have dispositional essences face a problem with structural (e.g. geometrical) properties. In this paper I consider a further route for the dispositional monist that is enabled by the requirement that physical theories should be background-free. If this requirement is respected then we can see how spatial displacement can be a causally active relation and hence may be understood dispositionally.

Science, and with it our understanding of evolutionary processes, is itself undergoing evolution. The evolutionary framework still most frequently used by the general public to describe and guide processes of societal development is erroneously grounded in Darwinian perspectives or, at the very least, draws facile analogies from biological evolution. The present inquiry incorporates fresh insights on the general systemic nature of developmental dynamics from the most recent advances in the transdisciplinary realm of the sciences of complexity (e.g., general evolution theory, (...) cybernetics, information and communication theory, chaos theory, dynamical systems theory, and nonequilibrium thermodynamics). The description of the evolutionary trajectory of complex dynamical systems as irreversible, periodically chaotic, and strongly nonlinear agrees with certain features of the historical processes of societal development. But there are additional features of the evolutionary dynamic of natural systems that are seldom portrayed as part of human developmental deportment. These features include elements such as the convergence of existing systems at progressively higher levels of organization, the increasingly efficient utilization of environmental energy, and the complexification of system structures in states that are progressively further removed from chemical and thermodynamic equilibria. The sciences of complexity offer insight into the laws and dynamics that govern the evolution of complex systems across a variety of disciplinary areas of investigation. Through a study of the isomorphisms across disciplinary constructs in the theoretical analyses of the principles governing the evolution of human societies, it is possible to enrich the account of developmental dynamics at the socio-civilizational level. Such an account would further our understanding of the phenomenon of societal development and provide the means for the purposeful guidance of this phenomenon in accordance with general evolutionary principles. This article sets forth the type of considerations, and outlines a general research agenda, for inquiry toward an operational model of the evolutionary development of social systems. (shrink)

Several current theories have essences as primary drivers of inductive potential: e.g., people infer dogs share properties because they share essences. We investigated the possibility that people take occupational roles as having robust inductive potential because of a different source: their position in stable social institutions. In Studies 1–4, participants learned a novel property about a target, and then decided whether two new individuals had the property (one with the same occupation, one without). Participants used occupational roles to robustly generalize (...) rights and obligations, functional behaviors, personality traits, and skills. In Studies 5–6, we contrasted occupational roles (via label) with race/gender (via visual face cues). Participants reliably favored occupational roles over race/gender for generalizing rights and obligations, functional behaviors, personality traits, and skills (they favored race/gender for inferring leisure behaviors and physiological properties). Occupational roles supported inferences to the same extent as animal categories (Studies 4 and 6). In Study 7, we examined why members of occupational roles share properties. Participants did not attribute the inductive potential of occupational roles to essences, they attributed it to social institutions. In combination, these seven studies demonstrate that any theory of inductive potential must pluralistically allow for both essences and social institutions to form the basis of inductive potential. (shrink)

The usual, comparative, conception of inference to the best explanation (IBE) takes it to be ampliative. In this paper I propose a conception of IBE ('Holmesian inference') that takes it to be a species of eliminative induction and hence not ampliative. This avoids several problems for comparative IBE (for example, how could it be reliable enough to generate knowledge?). My account of Holmesian inference raises the suspicion that it could never be applied, on the grounds that scientific hypotheses are inevitably (...) underdetermined by the evidence (i.e. are inevitably ampliative). I argue that this concern may be resisted by acknowledging, as Timothy Williamson has shown, that all knowledge is evidence. The latter suggests an approach to resisting scepticism different from those (e.g. the reliabilist approach) that embrace fallibilism. (shrink)

Hyperlogic is a hyperintensional system designed to regiment metalogical claims (e.g., “Intuitionistic logic is correct” or “The law of excluded middle holds”) into the object language, including within embedded environments such as attitude reports and counterfactuals. This paper is the first of a two-part series exploring the logic of hyperlogic. This part presents a minimal logic of hyperlogic and proves its completeness. It consists of two interdefined axiomatic systems: one for classical consequence (truth preservation under a classical interpretation of the (...) connectives) and one for “universal” consequence (truth preservation under any interpretation). The sequel to this paper explores stronger logics that are sound and complete over various restricted classes of models as well as languages with hyperintensional operators. (shrink)

Procrastination refers to voluntarily postponing an intended course of action despite expecting to be worse off for this delay, and students are considered to be especially negatively affected. According to estimates in the literature, at least half of the students believe procrastination impacts their academic achievements and well-being. As of yet, evidence-based ideas on how to differentiate severe from less severe cases of procrastination in this population do not exist, but are important in order to identify those students in need (...) of support. The current study recruited participants from different universities in Sweden to participate in an anonymous online survey investigating self-rated levels of procrastination, impulsivity, perfectionism, anxiety, depression, stress, and quality of life. Furthermore, diagnostic criteria for pathological delay as well as self-report items and open-ended questions were used to determine the severity of their procrastination and its associated physical and psychological issues. In total, 732 participants completed the survey. A median-split on the Pure Procrastination Scale and the responses to the PDC were used to differentiate two groups; “less severe procrastination”, and “severe procrastination”. For participants in the severe group, 96–97% considered procrastination to a problem, compared to 42–48% in the less severe group. The two groups also differed with regard to considering seeking help for procrastination, 35–38% compared to 5–7%. Participants in the severe group also reported more problems of procrastination in different life domains, greater symptoms of psychological issues, and lower quality of life. A thematic analysis of the responses on what physical issues were related to procrastination revealed that these were characterized by stress and anxiety, e.g., tension, pain, and sleep and rest, while the psychological issues were related to stress and anxiety, but also depression, e.g., self-criticism, remorse, and self-esteem. The current study recommends the PPS to be used as an initial screening tool, while the PDC can more accurately determine the severity level of procrastination for a specific individual. (shrink)

Joint attention is a social-cognitive phenomenon in which two or more agents direct their attention together towards the same object. Definitions range from this rather broad conception to more specific definitions which require that, in addition, attention be directed to the same aspect of that object and that agents need to be mutually aware of their jointly attending. Joint attention is an important coordination mechanism in joint action. The capacity for engaging in joint attention, in particular in the sense of (...) this narrower definition, is frequently taken to indicate the presence of theory of mind in the participating agents, and is also implicated in the development of theory of mind. However, the prominence of sensorimotor components in establishing and sustaining episodes of joint attention — e.g., eye and head movements, pointing and vocalizations — suggests that sensorimotor approaches to social interaction may be well-placed to account for important parts of joint attention without invoking theory-of-mind abilities, and may therefore provide a valuable alternative to approaches emphasizing theory of mind. In particular, sensorimotor accounts may explain aspects of joint attention through the dynamics and regularities in the sensorimotor processes that coordinate the activities of the agents. (shrink)

The emergence of synthetic biology holds the potential of a major breakthrough in the life sciences by transforming biology into a predictive science. The dual-use characteristics of similar breakthroughs during the twentieth century have led to the application of benignly intended research in e.g. virology, bacteriology and aerobiology in offensive biological weapons programmes. Against this background the article raises the question whether the precautionary governance of synthetic biology can aid in preventing this techno-science witnessing the same fate? In order to (...) address this question, this paper proceeds in four steps: it firstly introduces the emerging techno-science of synthetic biology and presents some of its potential beneficial applications. It secondly analyses contributions to the bioethical discourse on synthetic biology as well as precautionary reasoning and its application to life science research in general and synthetic biology more specifically. The paper then identifies manifestations of a moderate precautionary principle in the emerging synthetic biology dual-use governance discourse. Using a dual-use governance matrix as heuristic device to analyse some of the proposed measures, it concludes that the identified measures can best be described as “patchwork precaution” and that a more systematic approach to construct a web of dual-use precaution for synthetic biology is needed in order to guard more effectively against the field’s future misuse for harmful applications. (shrink)

While much has been written on specificity (e.g., in texts on new institutional economics, agency theory, and team production theory), there are still some insights to be learnt by business ethicists. This article approaches the issue from the perspective of team production, and will propose a new form of corporate governance: enlightened corporate governance, which takes into consideration the specific investments of employees. The article argues that, in addition to shareholders, employees also bear a residual risk which arises due to (...) their specific investments. This residual risk presents a valid and legitimate basis for residual claims. In this way, employees can be seen as residual claimants due to the fact that their income depends upon a hazardous quasi rent. Therefore, this article will call on the fiduciary duty of board members to protect those employees who are exposed to such residual risks and may thus be vulnerable as a result. This leads to a fundamental change of perspective on the “theory of the firm” – a change which will adopt the theories of new institutional economics, agency theory, and team production theory in order to promote business ethics research. Against this background, enlightened corporate governance aims to follow the criterion of specific investments as a legitimate basis for residual claims. Furthermore, it seeks to understand the consequences for board members, and to promote the sharing of control and ownership. The article will close with some discussion of the implications and future prospects for business ethics. (shrink)

There is a long tradition of arguments for the existence of God. Early examples include Aristotle’s cosmological argument in Book Lambda of the Metaphysics, arguing that if there is change, there must be at least one unchanging and perfect being that originates all change, while the first chapter of Romans and chapter 13 of the Book of Wisdom insist that “from the greatness and the beauty of created things their original author, by analogy, is seen” (Wis. 13:5, NAB). This tradition (...) continues, and indeed starting in the 1950s, analytic philosophy has seen an impressive resurgence of more and more careful formulations and criticisms of arguments for the existence of God. I shall show how the phenomenon of altruism yields a theistic argument. Some arguments for the existence of God proceed by pure reasoning alone and yield ontological arguments like Anselm’s, while others depend in part either on particular empirical claims (e.g., the argument from miracles or the argument from religious experience), or on general empirical claims, such as that there is motion, consciousness or life. The pattern of the arguments based on general claims is usually simple: (A) There is a general fact about reality, say that there is change or that there are complex organisms. (B) One argues that either the best or the only explanation is to be found in some state of affairs that includes the existence of a God-like being. And so (C) one concludes that a God-like being.. (shrink)